Automated Choreography Repair
نویسندگان
چکیده
Choreography analysis is a crucial problem in concurrent and distributed system development. A choreography specifies the desired ordering of message exchanges among the components of a system. The realizability of a choreography amounts to determining the existence of components whose communication behavior conforms to the given choreography. The realizability problem has been shown to be decidable. In this paper, we investigate the repairability of un-realizable choreographies, where the goal is to identify a set of changes to a given un-realizable choreography that will make it realizable. We present a technique for automatically repairing un-realizable choreographies and provide formal guarantees of correctness and termination. We demonstrate the viability of our technique by applying it to several representative unrealizable choreographies from Singulary OS channel contracts and Web services.
منابع مشابه
Automatic Choreography Repair
Choreography analysis is a crucial problem in concurrent and distributed system development. A choreography specifies the desired ordering of message exchanges among the components of a system. The realizability of a choreography amounts to determining the existence of components whose communication behavior conforms to the given choreography. Recently, the choreography realizability problem ha...
متن کاملTowards Automated Choreographing of Web Services Using Planning
For Web service composition, choreography has recently received great attention and demonstrated a few key advantages over orchestration such as distributed control, fairness, data efficiency, and scalability. Automated design of choreography plans, especially distributed plans for multiple roles, is more complex and has not been studied before. Existing work requires manual generation assisted...
متن کاملVirtual Organization Management Using Web Service Choreography And Software Agents
The purpose of this paper is to discuss an approach for the automated management of Virtual Organizations using Web Service Choreography and Software Agents. Web Service Choreography is important for the support and management of commonly agreed collaboration scenarios. In order for the scenarios to be understood and accepted by members of a VO, the scenarios need to be specified in a standard,...
متن کاملAn Approach for Automated Service Selection and Ranking using Services Choreography
In today’s highly competitive market, it is critical to provide customers services with a high level of configuration to answer their business needs. Knowing in advance the performance associated with a specific choreography of services (e.g., by taking into account the expected results of each component service) represents an important asset that allows businesses to provide a global service t...
متن کاملA framework for automated testing of web service choreographies
Web services are loosely-coupled software components designed to support interoperable machineto-machine interaction over the Internet. To achieve such interoperability, web services are accesible through W3C web standards, independently of which language, operation system, or hardware platform they are developed. Due to these characteristics, simple web services can be combined in more complex...
متن کامل